"Klaus Havelund" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Runtime Verification

Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann

6.78 Mb

#2

Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings (Lecture Notes in Computer Science Programming and Software Engineering)

Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann

Категория: Компьютеры

6.93 Mb

#3

NASA Formal Methods - NFM 2011

Mihaela Bobaru, Klaus Havelund, Gerard Holzmann, Rajeev Joshi

6.81 Mb

#4

Formal Approaches to Software Testing and Runtime Verification

Klaus Havelund, Manuel Núnez, Grigore Rosu, Burkhart Wolff

Категория: CsLn_

4.58 Mb

#5

Model Checking Software, 15 conf

Klaus Havelund, Rupak Majumdar, Jens Palsberg

Категория: CsLn_

11.26 Mb

#6

SPIN Model Checking and Software Verification: 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings

Klaus Havelund, John Penix, Willem Visser

2.81 Mb

#7

Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August

Klaus Havelund, Manuel Núnez, Grigore Rosu, Burkhart Wolff

3.07 Mb